41. Programs from decision tables
پدیدآورنده : / E. Humby
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming,Decision logic tables
رده :
QA76
.
6
.
H85
42. Research programs in electrical engineering and computer sciences
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
C3
43. Software engineering concepts
پدیدآورنده : FAIRLEY,RICHARD E
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER PROGRAMS
رده :
QA
76
.
6
.
F35
44. Software engineering concepts
پدیدآورنده : Richard E. Fairley
موضوع : Electronic digital computers-programming,Computer programs
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
45. Software engineering concepts
پدیدآورنده : Fairley, Richard E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Computer programs
رده :
QA
76
.
6
.
F35
1985
46. Software engineering: developments
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures
رده :
QA
76
.
6
.
S7
47. Structure and interpretation of computer programs
پدیدآورنده : Abelson, Harold.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، LISP )Computer program language(
رده :
QA
76
.
6
.
A255
1985
48. Structure and interpretation of computer programs
پدیدآورنده : Abelson, Harold
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، LISP )Computer program language(
رده :
QA
76
.
6
.
A25
1985
49. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
50. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
51. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
52. The design of well-structured and correct programs
پدیدآورنده : Alagic, Suad
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Pascal )Computer program language(
رده :
QA
76
.
6
.
A44
53. The design of well-structured and correct programs
پدیدآورنده : Alagic, Suad
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Pascal )Computer program language(
رده :
QA
76
.
6
.
A44
54. The specification of computer programs
پدیدآورنده : Turski, Wladyslaw
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
55. The theory and practice of compiler writing
پدیدآورنده : Jean-Paul Tremblay, Paul G. Sorenson
موضوع : Electronic digital computers - Programming,Compilers (Computer programs)
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
56. The theory and practice of compiler writing
پدیدآورنده : Tremblay, Jean-Paul
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، Compilers )Computer programs(
رده :
QA
76
.
6
.
T734
1985
57. The theory and practice of compiler writing
پدیدآورنده : Tremblay, Jean-Paul
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic digital computers -- Programming,، Compilers )Computer programs(
رده :
QA
76
.
6
.
T73
1985
58. The theory and practice of compiler writing
پدیدآورنده : Jean-Paul Tremblay, Paul G. Sorenson,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming,Compilers )Computer programs(
رده :
QA
.
T734
76
.
6
1985
59. The theory and practice of compiler writing
پدیدآورنده : Tremblay, Jean-Paul
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Compilers )Computer programs(
رده :
QA
76
.
6
.
T734
1985
60. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
